We describe the foundation of the log minimal model program for log canonicalpairs according to Ambro's idea. We generalize Koll\'ar's vanishing andtorsion-free theorems for embedded simple normal crossing pairs. Then we provethe cone and contraction theorems for quasi-log varieties, especially, for logcanonical pairs.
展开▼